finiteness theorem

Traduzioni
théorème de finitude